43.66/43.82	unsat
