40.54/43.46	unsat
