41.69/41.81	unsat
