4.77/5.04	unsat
