5.11/5.94	unsat
