11.56/11.68	unsat
