11.85/15.61	unsat
