43.67/44.29	unsat
