40.03/43.79	unsat
