39.78/41.21	unsat
