4.66/5.23	unsat
