42.34/43.66	unsat
