11.60/11.71	unsat
