40.69/40.80	unsat
