41.83/46.72	unsat
