3.29/3.90	unsat
