5.18/5.73	unsat
