40.50/43.39	unsat
