47.77/64.75	unsat
