42.83/43.86	unsat
