7.18/8.94	unsat
