40.44/41.67	unsat
