11.56/14.77	unsat
