39.04/41.15	unsat
