39.16/41.24	unsat
