38.41/41.17	unsat
