43.50/46.01	unsat
