5.16/7.94	unsat
