43.17/44.67	unsat
