4.77/4.89	unsat
