3.79/3.89	unsat
