43.47/44.94	unsat
