5.14/7.94	unsat
