43.82/44.32	unsat
