11.06/11.65	unsat
