41.68/41.79	unsat
