40.83/42.33	unsat
