2.95/3.87	unsat
