42.69/43.86	unsat
