43.85/44.00	unsat
