4.77/4.95	unsat
