4.18/5.04	unsat
