43.87/44.30	unsat
