39.81/41.24	unsat
