72.21/72.43	unsat
