4.77/4.90	unsat
