3.95/4.14	unsat
