48.68/52.15	unsat
