3.29/3.89	unsat
