47.55/57.15	unsat
