11.60/11.65	unsat
