3.77/3.89	unsat
