42.18/43.46	unsat
