11.56/13.71	unsat
