4.77/4.81	unsat
