44.21/47.18	unsat
