42.60/43.75	unsat
