10.85/10.94	unsat
