44.26/44.71	unsat
