4.69/4.91	unsat
