4.98/5.71	unsat
