247.45/248.06	unsat
