39.80/43.47	unsat
