4.66/4.94	unsat
