4.17/4.47	unsat
