11.55/11.68	unsat
